$\forall$$T$:Type, $A$, $B$:$T$ List. $A$ $=$ $B$ $\Rightarrow$ l\_contains($T$;$A$;$B$)